#!/usr/bin/php
<?php
$fp = fopen("/dev/stdin", "r");
while($input = fgets($fp, 10000))
{
   echo urldecode($input);
      }
	  ?>
